A compiler approach to scalable concurrent program design

The programmer's most powerful tool for controlling complexity in program design is abstraction. We seek to use abstraction in the design of concurrent programs, so as to separate design decisions concerned with decomposition, communication, synchronization, mapping, granularity, and load balancing. This paper describes programming and compiler techniques intended to facilitate this design strategy. The programming techniques are based on a core programming notation with two important properties: the ability to separate concurrent programming concerns, and extensibility with reusable programmer-defined abstractions. The compiler techniques are based on a simple transformation system together with a set of compilation transformations and portable run-time support. The transformation system allows programmer-defined abstractions to be defined as source-to-source transformations that convert abstractions into the core notation. The same transformation system is used to apply compilation transformations that incrementally transform the core notation toward an abstract concurrent machine. This machine can be implemented on a variety of concurrent architectures using simple run-time support. The transformation, compilation, and run-time system techniques have been implemented and are incorporated in a public-domain program development toolkit. This toolkit operates on a wide variety of networked workstations, multicomputers, and shared-memory multiprocessors. It includes a program transformer, concurrent compiler, syntax checker, debugger, performance analyzer, and execution animator. A variety of substantial applications have been developed using the toolkit, in areas such as climate modeling and fluid dynamics

The Social Context as a Determinant of Teacher Motivational Strategies in Physical Education

The purpose of the study was to provide an in-depth analysis of how Physical Education (PE) teachers perceive the social context to influence the motivational strategies that they use towards students. Semi-structured interviews of 22 PE teachers were examined using categorical content analysis. The teachers perceived that an emphasis on student assessment and the time constraints associated with PE lessons influenced their motivational strategies towards students; however, these strategies often conflicted with the teachers’ beliefs about the most appropriate motivational strategies. The teachers’ own performance evaluations and pressure to conform to other teachers’ methods also influenced the teachers’ motivational strategies, but these influences were often congruent with their teaching beliefs. Additionally, the teachers discussed how perceived cultural norms associated with the teacher-student relationship impacted upon their chosen motivational strategies. These cultural norms were reported by different teachers as either in line, or in conflict with their teaching beliefs. Finally, the influence of the teachers’ perceptions of their students helped produce strategies that were congruent with their beliefs, but often different to empirically suggested strategies. Consequently, it is important that teacher beliefs are targeted in education programs and that the teaching context aid in facilitating adaptive motivational strategies

Numerical simulation of the airflow–rivulet interaction associated with the rain-wind induced vibration phenomenon

Rain-wind induced vibration is an aeroelastic phenomenon that occurs on the inclined cables of cable-stayed bridges. The vibrations are believed to be caused by a complicated nonlinear interaction between rivulets of rain water that run down the cables and the wind loading on the cables due to the unsteady aerodynamic flow field. Recent research at the University of Strathclyde has been to develop a numerical method to simulate the influence of the external air flow on the rivulet dynamics and vice versa, the results of which can be used to assess the importance of the water rivulets on the instability. The numerical approach for the first time couples a Discrete Vortex Method solver to determine the external flow field and unsteady aerodynamic loading, and a pseudo-spectral solver based on lubrication theory to model the evolution and growth of the water rivulets on the cable surface under external loading. The results of the coupled model are used to assess the effects of various loading combinations, and importantly are consistent with previous full scale and experimental observations of rain-wind induced vibration, providing new information about the underlying physical mechanisms of the instability

Entanglement of a 3D generalization of the Kitaev model on the diamond lattice

We study the entanglement properties of a three dimensional generalization of the Kitaev honeycomb model proposed by Ryu [Phys. Rev. B 79, 075124, (2009)]. The entanglement entropy in this model separates into a contribution from a $Z_2$ gauge field and that of a system of hopping Majorana fermions, similar to what occurs in the Kitaev model. This separation enables the systematic study of the entanglement of this 3D interacting bosonic model by using the tools of non-interacting fermions. In this way, we find that the topological entanglement entropy comes exclusively from the $Z_2$ gauge field, and that it is the same for all of the phases of the system. There are differences, however, in the entanglement spectrum of the Majorana fermions that distinguish between the topologically distinct phases of the model. We further point out that the effect of introducing vortex lines in the $Z_2$ gauge field will only change the entanglement contribution of the Majorana fermions. We evaluate this contribution to the entanglement which arises due to gapless Majorana modes that are trapped by the vortex lines.Comment: 25 pages, 5 figures. Invited article to JSTAT Special Issue: Quantum Entanglement in Condensed Matter Physic

The Fish Funnel: A Trawl Modification to Reduce Fish Escapement

In the Gulf of Mexico there is a need to assess the potential of underutilized fish resource stocks before a commercial fishery develops. Standard sampling trawls used in the Gulf are ineffective for sampling the resource, so larger, high opening, bottom trawls have been introduced. The larger trawls are more effective, but most of the faster swimming fish species are able to escape these nets, especially during haul back. To reduce fish escapement, webbing panels, attached inside the trawls ahead of the cod ends, were tested. Initial tests were conducted with two single panel designs--a fish flap and a "floppa." Neither design reduced fish escapement. The floppa distorted the trawl webbing and actually increased fish escapement. A multi-panel conical funnel design (the fish funnel) was tested and found to increase fish retention by trapping the fish after they passed through it. When used in combination with a technique known as pulsing the trawl, the fish funnel substantially increased trawl catch rates with no indication of fish escapement

Characterisation of hydraulic and hydrogeochemical processes in a reducing and alkalinity-producing system (RAPS) treating mine drainage, South Wales, UK

A series of tracer tests has been carried out in the compost and limestone Tan-y-Garn Reducing and Alkalinity-Producing System (RAPS), designed to treat iron-rich net acidic mine water (mean pH 6.18, Fe = 47 mg L-1, alkalinity 1.70 meq L-1 and mineral acidity 1.82 meq L-1) in South Wales, UK. Conservative tracer breakthrough time in the RAPS basal effluent is approximately inversely related to throughflow rate. Repeat tracer tests indicate a long term decrease in hydraulic conductivity, but not in total porosity. A specific sodium chloride tracer test from June 2008 is reported, when 15 kg salt was added to a raw mine water inflow rate of 0.87 L s-1. Electrical conductivity and major ion chemistry were monitored for a 170 hour period. Sodium exhibited a retardation of 1.15 to 1.2 in the RAPS medium relative to chloride, due to cation exchange. Simple 1-D advection-diffusion analytical modelling succeeded in simulating the early portion of tracer breakthrough in the RAPS effluent. More complex analytical modelling, accounting for (i) mixing and dilution effects in the supernatant water input signature and (ii) matrix diffusion effects, was found to be required to adequately simulate the later-stage tail of the breakthrough curve in the RAPS effluent